#!/bin/bash

pushd @DOXY_SOURCE_DIR@

doxypress @DOXY_FILE@

popd
